| 1. | Then, by continuity, the inverse image of that is an open set.
|
| 2. | By invariance of domain, the map carries open sets onto open sets.
|
| 3. | Note that the neighbourhood V need not be an open set itself.
|
| 4. | As elements of the topology, cylinder sets are by definition open sets.
|
| 5. | The weak topology is generated by the following basis of open sets:
|
| 6. | Every open set is a countable union of a collection of these.
|
| 7. | An arbitrary union of open sets in a topological space is open.
|
| 8. | That is, the intersection of almost open sets is again almost open.
|
| 9. | By invariance of domain, the map carries open sets onto open sets.
|
| 10. | In fact, its open sets are even inaccessible by " any " suprema.
|